2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963 (Studies in Logic and the Foundations of Mathematics, 40)
Автор:
John N. Crossley
, Автор:
Michael Dummett (editors)
Категория:
Образование
Размер книги: 10.46 Mb
Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963 (Studies in Logic and the Foundations of Mathematics, 40)
Автор:
John N. Crossley
, Автор:
Michael Dummett (editors)
Размер книги: 4.16 Mb
Growing Ideas of Number (The Emergence of Number)
Автор:
John N. Crossley
Размер книги: 4.07 Mb
Introduction to commercial and entrepreneurial recreation
Автор:
John C. Crossley
, Автор:
Lynn Marie Jamieson
Размер книги: 1.17 Mb
After Habermas: New Perspectives on the Public Sphere (Sociological Review Monographs)
Автор:
Nick Crossley
, Автор:
John Michael Roberts
Категория:
Искусство
,
Графические виды искусства
Размер книги: 916 Kb
Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.
Автор:
John N. Crossley
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
Размер книги: 2.14 Mb
Adapting Proofs-as-Programs: The Curry-Howard Protocol
Автор:
Iman Poernomo
, Автор:
John N. Crossley
, Автор:
Martin Wirsing
Размер книги: 4.66 Mb
Adapting proofs-as-programs
Автор:
Iman Poernomo
, Автор:
John N. Crossley
, Автор:
Martin Wirsing
Размер книги: 2.25 Mb
Adapting Proofs-as-Programs : The Curry-Howard Protocol (Monographs in Computer Science)
Автор:
Iman Poernomo
, Автор:
John N. Crossley
, Автор:
Martin Wirsing
Размер книги: 1.53 Mb
Constructive Order Types
Автор:
John N. Crossley
Размер книги: 6.35 Mb
Sets, Models and Recursion Theory: Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium Leicester, August-September 1965
Автор:
John N. Crossley
Размер книги: 4.74 Mb
